#include <bits/stdc++.h>
using namespace std;
typedef long long ll;
#define all(x) x.begin(), x.end()
#define rall(x) x.rbegin(), x.rend()
#define fast \
ios_base::sync_with_stdio(0); \
cin.tie(NULL);
// imp numbers
const ll INF = 1e18 + 7;
const ll MOD = 1e9 + 7;
const ll N = 1e6;
int main()
{
fast;
ll n, p, k;
cin >> n >> p >> k;
vector<pair<ll, ll>> vecp(n);
for (ll i = 0; i < n; i++)
{
cin >> vecp[i].first;
vecp[i].second = i;
}
ll score[n][p];
for (ll i = 0; i < n; i++)
{
for (ll j = 0; j < p; j++)
{
cin >> score[i][j];
}
}
sort(rall(vecp));
ll dp[n + 1][(1LL << p) + 1];
memset(dp, -1, sizeof(dp));
dp[0][0] = 0;
for (ll i = 1; i <= n; i++)
{
for (ll mask = 0; mask < (1LL << p); mask++)
{
ll selected = 0;
// don't select this player in team
ll remain = i - 1 - __builtin_popcount(mask);
if (remain >= k)
{
if (dp[i - 1][mask] != -1)
{
dp[i][mask] = dp[i - 1][mask];
}
}
else
{
if (dp[i - 1][mask] != -1)
{
dp[i][mask] = dp[i - 1][mask] + vecp[i - 1].first;
}
}
// select at some position
for (ll j = 0; j < p; j++)
{
if ((mask & (1 << j)) && dp[i - 1][(mask ^ (1LL << j))] != -1)
{
dp[i][mask] = max(dp[i][mask], dp[i - 1][(mask ^ (1LL << j))] + score[vecp[i - 1].second][j]);
}
}
}
}
cout << dp[n][(1LL << p) - 1] << "\n";
}
// NineFathoms
1515E - Phoenix and Computers | 1552B - Running for Gold |
994A - Fingerprints | 1221C - Perfect Team |
1709C - Recover an RBS | 378A - Playing with Dice |
248B - Chilly Willy | 1709B - Also Try Minecraft |
1418A - Buying Torches | 131C - The World is a Theatre |
1696A - NIT orz | 1178D - Prime Graph |
1711D - Rain | 534A - Exam |
1472A - Cards for Friends | 315A - Sereja and Bottles |
1697C - awoo's Favorite Problem | 165A - Supercentral Point |
1493A - Anti-knapsack | 1493B - Planet Lapituletti |
747B - Mammoth's Genome Decoding | 1591C - Minimize Distance |
1182B - Plus from Picture | 1674B - Dictionary |
1426C - Increase and Copy | 520C - DNA Alignment |
767A - Snacktower | 1365A - Matrix Game |
714B - Filya and Homework | 31A - Worms Evolution |